$f$\^{}$n$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($n$;p{-}id();$\lambda$$i$,$g$. $f$ o $g$  )